A Conceptual Formalization of Crosscutting in AOSD

We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise reasoning about crosscutting

AOSD Ontology 1.0 - Public Ontology of Aspect-Orientation

This report presents a Common Foundation for Aspect-Oriented Software Development. A Common Foundation is required to enable effective communication and to enable integration of activities within the Network of Excellence. This Common Foundation is realized by developing an ontology, i.e. the shared meaning of terms and concepts in the domain of AOSD. In the first part of this report, we describe the definitions of an initial set of common AOSD terms. There is general agreement on these definitions. In the second part, we describe the Common Foundation task in detail

Crosscutting, what is and what is not? A Formal definition based on a Crosscutting Pattern

Crosscutting is usually described in terms of scattering and tangling. However, the distinction between these concepts is vague, which could lead to ambiguous statements. Sometimes, precise definitions are required, e.g. for the formal identification of crosscutting concerns. We propose a conceptual framework for formalizing these concepts based on a crosscutting pattern that shows the mapping between elements at two levels, e.g. concerns and representations of concerns. The definitions of the concepts are formalized in terms of linear algebra, and visualized with matrices and matrix operations. In this way, crosscutting can be clearly distinguished from scattering and tangling. Using linear algebra, we demonstrate that our definition generalizes other definitions of crosscutting as described by Masuhara & Kiczales [21] and Tonella and Ceccato [28]. The framework can be applied across several refinement levels assuring traceability of crosscutting concerns. Usability of the framework is illustrated by means of applying it to several areas such as change impact analysis, identification of crosscutting at early phases of software development and in the area of model driven software development

Disentangling Crosscutting in AOSD: A Conceptual Framework

Crosscutting is usually described in terms of scattering and tangling. However, the distinction between these three concepts is vague, sometimes leading to ambiguous statements and confusion. We propose a conceptual framework for crosscutting. Crosscutting is clearly distinguished from scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. We discuss the relation between the concepts crosscutting, decomposition and coupling

Mathematical modeling and numerical simulation of heat dissipation In LED bulbs

[EN] We present a detailed study of heating and cooling processes in LED luminaires with passive heat sinks. Our analysis is supported by numerical simulations as well as experimental measurements, carried on commercial systems used for outdoor lighting. We have focused our analysis on the common case of a single LED source in thermal contact with an aluminum passive heat sink, obtaining an excellent agreement with experimental measurements and the numerical simulations performed. Our results can be easily expanded, without loss of generality, to similar systems.D. A. acknowledges SENESCYT for financial support (Convocatoria Abierta 2015 para cursar estudios de doctorado). HM thanks funding from projects K133131H64102 and K044131H64502 Xunta de Galicia.P.F.C. and J.M.I. acknoweldges funding from grant MEC, grant RTI2018-102256-B-100 (Spain)Alarcon, D.; Balvis, E.; Bendaña, R.; Conejero, JA.; Fernández De Córdoba, P.; Higón Calvet, JL.; Isidro, J.... (2020). Mathematical modeling and numerical simulation of heat dissipation In LED bulbs. Thermal Science. 24(3A):1877-1884. https://doi.org/10.2298/TSCI190521076AS18771884243

Analysis of crosscutting across software development phases based on traceability

Traceability of requirements and concerns enhances the quality of software development. We use trace relations to define crosscutting. As starting point, we set up a dependency matrix to capture the relationship between elements at two levels, e.g. concerns and representations of concerns. The definition of crosscutting is formalized in terms of linear algebra, and represented with matrices and matrix operations. In this way, crosscutting can be clearly distinguished from scattering and tangling. We apply this approach to the identification of crosscutting across early phases in the software life cycle, based on the transitivity of trace relations. We describe an illustrative case study to demonstrate the applicability of the analysis

Un marco conceptual para la formalización de crosscutting en desarrollos orientados a aspectos

El concepto de crosscutting suele ser descrito en términos de scattering y tangling. Sin embargo, la distinction entre estos términos no suele ser concisa, llevando a situaciones ambiguas. En muchas ocasiones se hace necesario tener definiciones más precisas, por ejemplo para determinadas áreas de investigación como la identificación formal de asuntos transversales o crosscutting concerns. Proponemos un marco de trabajo conceptual para la formalización de estos conceptos basado en lo que denominamos un patrón de crosscutting que representa la relación entre elementos de dos niveles diferentes, por ejemplo concerns y una representación de dichos concerns. Estos conceptos son definidos formalmente en términos del álgebra lineal y representados mediante matrices y operaciones con dichas matrices. De este modo, el concepto de crosscutting puede ser claramente diferenciado de los términos de scattering y tangling. La utilidad de las matrices de dependencias presentadas se ilustra mediante el análisis de crosscutting a lo largo de una serie de niveles de refinamiento, que puede ser formalizado en lo que hemos denominado la concatenación de patrones de crosscutting

Metabolic fingerprinting of Tomato Mosaic Virus infected Solanum lycopersicum

Plant science